add_klee_unit_test(ADTTest
  ImmutableMap.cpp)
target_link_libraries(ADTTest PRIVATE kleeCore)
